package dpll.ast;

import java.util.ArrayList;
import java.util.List;

import dpll.fnc.IVisitor;

public class NodoFormulas extends ASTNode {
	
	private List<IASTNode> formulas;

	public NodoFormulas() {
		formulas = new ArrayList<IASTNode>();
	}
	
	public List<IASTNode> getFormulas() {
		return formulas;
	}
	
	public void addFormula(IASTNode nodo) {
		formulas.add(nodo);
	}

	@Override
	public <T> T accept(IVisitor<T> visitor) {
		return visitor.visitFormulas(this);
	}
	
	@Override
    public String toString() {
		
		String miSalida = "";
		
		for (IASTNode nodo: formulas)
			miSalida += nodo.toString();
		
		return miSalida;
	}
	
	

}
